SherbyNet - /page/wikibook/entry.mu

<!DOCTYPE html>

<title>Roman surface</title>

</head>

Roman surface

</h1>

</header>

/* start https://en.wikipedia.org/ */

.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}@media print{body.ns-0 .mw-parser-output .ambox{display:none!important}}

/* end https://en.wikipedia.org/ */

</style>

In <a href="Mathematics" title="Mathematics">mathematics</a>, the Roman surface or Steiner surface is a self-intersecting <a href="Map_(mathematics)" title="Map (mathematics)">mapping</a> of the <a href="Real_projective_plane" title="Real projective plane">real projective plane</a> into <a href="Three-dimensional_space" title="Three-dimensional space">three-dimensional space</a>, with an unusually high degree of <a href="Symmetry" title="Symmetry">symmetry</a>. This mapping is not an <a href="Immersion_(mathematics)" title="Immersion (mathematics)">immersion</a> of the projective plane; however, the figure resulting from removing six <a href="Singular_point_of_a_curve" title="Singular point of a curve">singular points</a> is one. Its name arises because it was discovered by <a href="Jakob_Steiner" title="Jakob Steiner">Jakob Steiner</a> when he was in <a href="Rome" title="Rome">Rome</a> in 1844.<a href="#cite_note-Coffman-1">[1]</a>

The simplest construction is as the image of a <a href="Sphere" title="Sphere">sphere</a> centered at the origin under the map <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f(x,y,z)=(yz,xz,xy).}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle f(x,y,z)=(yz,xz,xy).}</annotation>

</semantics>

</math><img src="./08e7d8e1496f1e0f2bc16842cd9a70ab1df295c9.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:23.498ex; height:2.843ex;" alt="{\displaystyle f(x,y,z)=(yz,xz,xy).}" loading="lazy"> This gives an implicit <a href="Formula" title="Formula">formula</a> of

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x^{2}y^{2}+y^{2}z^{2}+z^{2}x^{2}-r^{2}xyz=0.\,}</annotation>

</semantics>

</math><img src="./055dfbe2b54f276d5476af9f62381262159635f2.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:32.979ex; height:3.009ex;" alt="{\displaystyle x^{2}y^{2}+y^{2}z^{2}+z^{2}x^{2}-r^{2}xyz=0.\,}" loading="lazy"></dd></dl>

Also, taking a parametrization of the sphere in terms of <a href="Longitude" title="Longitude">longitude</a> (θ) and <a href="Latitude" title="Latitude">latitude</a> (φ), gives <a href="Parametric_equation" title="Parametric equation">parametric equations</a> for the Roman surface as follows:

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x=r^{2}\cos \theta \cos \varphi \sin \varphi }</annotation>

</semantics>

</math><img src="./154577e0f1e601abf683e6b6d97feaded666bc59.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:22.062ex; height:3.176ex;" alt="{\displaystyle x=r^{2}\cos \theta \cos \varphi \sin \varphi }" loading="lazy"></dd>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle y=r^{2}\sin \theta \cos \varphi \sin \varphi }</annotation>

</semantics>

</math><img src="./6d14e3265a25be19b6b6b9c1e8399c60c6c68e9e.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:21.633ex; height:3.176ex;" alt="{\displaystyle y=r^{2}\sin \theta \cos \varphi \sin \varphi }" loading="lazy"></dd>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle z=r^{2}\cos \theta \sin \theta \cos ^{2}\varphi }</annotation>

</semantics>

</math><img src="./99528a33a86bc6d1c5736f1edd37b7935067fcb4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:22.445ex; height:3.176ex;" alt="{\displaystyle z=r^{2}\cos \theta \sin \theta \cos ^{2}\varphi }" loading="lazy"></dd></dl>

The origin is a triple point, and each of the xy-, yz-, and xz-planes are tangential to the surface there. The other places of self-intersection are double points, defining segments along each coordinate axis which terminate in six pinch points. The entire surface has <a href="Tetrahedron" title="Tetrahedron">tetrahedral</a> <a href="Symmetry_group" title="Symmetry group">symmetry</a>. It is a particular type (called type 1) of Steiner surface, that is, a 3-dimensional <a href="Linear_projection" class="mw-redirect" title="Linear projection">linear projection</a> of the <a href="Veronese_surface" title="Veronese surface">Veronese surface</a>.

<div class="mw-heading mw-heading2"><h2 id="Derivation_of_implicit_formula">Derivation of implicit formula</h2></div>

For simplicity we consider only the case r = 1. Given the sphere defined by the points (x, y, z) such that

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x^{2}+y^{2}+z^{2}=1,\,}</annotation>

</semantics>

</math><img src="./79d2b38b539c0d5878f510d61b803d6c678859d1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:17.719ex; height:3.009ex;" alt="{\displaystyle x^{2}+y^{2}+z^{2}=1,\,}" loading="lazy"></dd></dl>

we apply to these points the transformation T defined by <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle T(x,y,z)=(yz,zx,xy)=(U,V,W),\,}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle T(x,y,z)=(yz,zx,xy)=(U,V,W),\,}</annotation>

</semantics>

</math><img src="./abe7fce6639143e260c04a2c442f963bf28c5566.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:37.224ex; height:2.843ex;" alt="{\displaystyle T(x,y,z)=(yz,zx,xy)=(U,V,W),\,}" loading="lazy"> say.

But then we have

<mtr>

<mtd>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mtd>

<mtd>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mtd>

</mtr>

<mtr>

<mtd>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mtd>

</mtr>

</mtable>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\begin{aligned}U^{2}V^{2}+V^{2}W^{2}+W^{2}U^{2}&=z^{2}x^{2}y^{4}+x^{2}y^{2}z^{4}+y^{2}z^{2}x^{4}=(x^{2}+y^{2}+z^{2})(x^{2}y^{2}z^{2})\\[8pt]&=(1)(x^{2}y^{2}z^{2})=(xy)(yz)(zx)=UVW,\end{aligned}}}</annotation>

</semantics>

</math><img src="./bf3f422e70c87b9b2d706bee0a7d1b5f6e13426c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.343ex; margin-bottom: -0.328ex; width:80.183ex; height:8.509ex;" alt="{\displaystyle {\begin{aligned}U^{2}V^{2}+V^{2}W^{2}+W^{2}U^{2}&=z^{2}x^{2}y^{4}+x^{2}y^{2}z^{4}+y^{2}z^{2}x^{4}=(x^{2}+y^{2}+z^{2})(x^{2}y^{2}z^{2})\\[8pt]&=(1)(x^{2}y^{2}z^{2})=(xy)(yz)(zx)=UVW,\end{aligned}}}" loading="lazy"></dd></dl>

and so <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle U^{2}V^{2}+V^{2}W^{2}+W^{2}U^{2}-UVW=0\,}">

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle U^{2}V^{2}+V^{2}W^{2}+W^{2}U^{2}-UVW=0\,}</annotation>

</semantics>

</math><img src="./696b21ade1d1973a4f3e1b702d7a997ab0e143f2.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:38.032ex; height:2.843ex;" alt="{\displaystyle U^{2}V^{2}+V^{2}W^{2}+W^{2}U^{2}-UVW=0\,}" loading="lazy"> as desired.

Conversely, suppose we are given (U, V, W) satisfying

(*) <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle U^{2}V^{2}+V^{2}W^{2}+W^{2}U^{2}-UVW=0.\,}">

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle U^{2}V^{2}+V^{2}W^{2}+W^{2}U^{2}-UVW=0.\,}</annotation>

</semantics>

</math><img src="./5372386aa5a491cf4119a091f11bbe4d31864159.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:38.679ex; height:2.843ex;" alt="{\displaystyle U^{2}V^{2}+V^{2}W^{2}+W^{2}U^{2}-UVW=0.\,}" loading="lazy">

We prove that there exists (x,y,z) such that

(**) <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x^{2}+y^{2}+z^{2}=1,\,}">

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x^{2}+y^{2}+z^{2}=1,\,}</annotation>

</semantics>

</math><img src="./79d2b38b539c0d5878f510d61b803d6c678859d1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:17.719ex; height:3.009ex;" alt="{\displaystyle x^{2}+y^{2}+z^{2}=1,\,}" loading="lazy">

for which <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle U=xy,V=yz,W=zx,\,}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle U=xy,V=yz,W=zx,\,}</annotation>

</semantics>

</math><img src="./46d91fbb1290ea2ba5952c10647ca8f430ee68c9.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:25.549ex; height:2.509ex;" alt="{\displaystyle U=xy,V=yz,W=zx,\,}" loading="lazy">

with one exception: In case 3.b. below, we show this cannot be proved.

1. In the case where none of U, V, W is 0, we can set

<msqrt>

<mfrac>

<mrow>

</mrow>

</mfrac>

</msqrt>

</mrow>

<msqrt>

<mfrac>

<mrow>

</mrow>

</mfrac>

</msqrt>

</mrow>

<msqrt>

<mfrac>

<mrow>

</mrow>

</mfrac>

</msqrt>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x={\sqrt {\frac {WU}{V}}},\ y={\sqrt {\frac {UV}{W}}},\ z={\sqrt {\frac {VW}{U}}}.\,}</annotation>

</semantics>

</math><img src="./a4fd581fa4d6bdba48a881d351ba0d6e4cdb46d1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.338ex; width:38.622ex; height:6.176ex;" alt="{\displaystyle x={\sqrt {\frac {WU}{V}}},\ y={\sqrt {\frac {UV}{W}}},\ z={\sqrt {\frac {VW}{U}}}.\,}" loading="lazy"></dd></dl>

(Note that (*) guarantees that either all three of U, V, W are positive, or else exactly two are negative. So these square roots are of positive numbers.)

It is easy to use (*) to confirm that (**) holds for x, y, z defined this way.

2. Suppose that W is 0. From (*) this implies <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle U^{2}V^{2}=0\,}">

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle U^{2}V^{2}=0\,}</annotation>

</semantics>

</math><img src="./3abd18954da046bba08f1bc51da739b6221ad586.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:10.515ex; height:2.676ex;" alt="{\displaystyle U^{2}V^{2}=0\,}" loading="lazy">

and hence at least one of U, V must be 0 also. This shows that is it impossible for exactly one of U, V, W to be 0.

3. Suppose that exactly two of U, V, W are 0. <a href="Without_loss_of_generality" title="Without loss of generality">Without loss of generality</a> we assume

(***)<math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle U\neq 0,V=W=0.\,}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle U\neq 0,V=W=0.\,}</annotation>

</semantics>

</math><img src="./ea6dad81f8c242fe1ca8a90137926748c4e74efb.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:19.693ex; height:2.676ex;" alt="{\displaystyle U\neq 0,V=W=0.\,}" loading="lazy">

It follows that <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle z=0,\,}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle z=0,\,}</annotation>

</semantics>

</math><img src="./270db3cc6539d8b278934faa5b42d4bf5307fedf.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:6.383ex; height:2.509ex;" alt="{\displaystyle z=0,\,}" loading="lazy">

(since <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle z\neq 0,\,}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle z\neq 0,\,}</annotation>

</semantics>

</math><img src="./fcf5548d4fd91aaa74cfde531dc63c169f8e36e4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.383ex; height:2.676ex;" alt="{\displaystyle z\neq 0,\,}" loading="lazy"> implies that <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x=y=0,\,}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x=y=0,\,}</annotation>

</semantics>

</math><img src="./ea1df12653fbc093fe6d11d91a0619bc3063e68f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:10.878ex; height:2.509ex;" alt="{\displaystyle x=y=0,\,}" loading="lazy"> and hence <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle U=0,\,}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle U=0,\,}</annotation>

</semantics>

</math><img src="./e618f0afb3479465514bbf99f0122844a97bf52a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:7.077ex; height:2.509ex;" alt="{\displaystyle U=0,\,}" loading="lazy"> contradicting (***).)

a. In the subcase where

</mrow>

</mrow>

<mfrac>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |U|\leq {\frac {1}{2}},}</annotation>

</semantics>

</math><img src="./5496f9eead5391382a46c54433e68cc8d382baa5.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:8.82ex; height:5.176ex;" alt="{\displaystyle |U|\leq {\frac {1}{2}},}" loading="lazy"></dd></dl>

if we determine x and y by

<msup>

</mrow>

</msup>

<mfrac>

<mrow>

<msqrt>

<msup>

</mrow>

</msup>

</msqrt>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x^{2}={\frac {1+{\sqrt {1-4U^{2}}}}{2}}}</annotation>

</semantics>

</math><img src="./2a98ce7b038df1f4c08f4b1f5b19f15921a5c49a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:20.706ex; height:6.176ex;" alt="{\displaystyle x^{2}={\frac {1+{\sqrt {1-4U^{2}}}}{2}}}" loading="lazy"></dd></dl>

and <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle y^{2}={\frac {1-{\sqrt {1-4U^{2}}}}{2}},}">

<msup>

</mrow>

</msup>

<mfrac>

<mrow>

<msqrt>

<msup>

</mrow>

</msup>

</msqrt>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle y^{2}={\frac {1-{\sqrt {1-4U^{2}}}}{2}},}</annotation>

</semantics>

</math><img src="./218cc99578068626f0c2653ed72f4940c1db80fc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:21.184ex; height:6.176ex;" alt="{\displaystyle y^{2}={\frac {1-{\sqrt {1-4U^{2}}}}{2}},}" loading="lazy">

this ensures that (*) holds. It is easy to verify that <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x^{2}y^{2}=U^{2},\,}">

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x^{2}y^{2}=U^{2},\,}</annotation>

</semantics>

</math><img src="./4d20c1983786ec2b3040d976b905e191ce2b7619.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:11.627ex; height:3.009ex;" alt="{\displaystyle x^{2}y^{2}=U^{2},\,}" loading="lazy">

and hence choosing the signs of x and y appropriately will guarantee <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle xy=U.\,}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle xy=U.\,}</annotation>

</semantics>

</math><img src="./8ed04e2e73268154ddf5fd6e827125097fb0e9ed.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:8.4ex; height:2.509ex;" alt="{\displaystyle xy=U.\,}" loading="lazy">

Since also <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle yz=0=V{\text{ and }}zx=0=W,\,}">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle yz=0=V{\text{ and }}zx=0=W,\,}</annotation>

</semantics>

</math><img src="./4005a559f260a9270b49f503e1fdf7a050ae020c.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:29.545ex; height:2.509ex;" alt="{\displaystyle yz=0=V{\text{ and }}zx=0=W,\,}" loading="lazy">

this shows that this subcase leads to the desired converse.

b. In this remaining subcase of the case 3., we have <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |U|>{\frac {1}{2}}.}">

</mrow>

</mrow>

<mfrac>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |U|>{\frac {1}{2}}.}</annotation>

</semantics>

</math><img src="./f5848683cf4ea52a04ccd67618547d783ea576ae.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:8.82ex; height:5.176ex;" alt="{\displaystyle |U|>{\frac {1}{2}}.}" loading="lazy">

Since <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x^{2}+y^{2}=1,\,}">

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x^{2}+y^{2}=1,\,}</annotation>

</semantics>

</math><img src="./5bfe629a3f5f4642ad721eae0070e70b7f332d54.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:12.734ex; height:3.009ex;" alt="{\displaystyle x^{2}+y^{2}=1,\,}" loading="lazy">

it is easy to check that <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle xy\leq {\frac {1}{2}},}">

<mfrac>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle xy\leq {\frac {1}{2}},}</annotation>

</semantics>

</math><img src="./4141d62ade7f01eb7288d22c600089c999f9d232.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:8.229ex; height:5.176ex;" alt="{\displaystyle xy\leq {\frac {1}{2}},}" loading="lazy">

and thus in this case, where <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |U|>1/2,\ V=W=0,}">

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |U|>1/2,\ V=W=0,}</annotation>

</semantics>

</math><img src="./acd7e156faa4c71388a2059f029cc6a224e1cb26.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:23.505ex; height:2.843ex;" alt="{\displaystyle |U|>1/2,\ V=W=0,}" loading="lazy">

there is no (x, y, z) satisfying <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle U=xy,\ V=yz,\ W=zx.}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle U=xy,\ V=yz,\ W=zx.}</annotation>

</semantics>

</math><img src="./f8e0d1fde5a88cb07979929690005162e16078de.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:26.323ex; height:2.509ex;" alt="{\displaystyle U=xy,\ V=yz,\ W=zx.}" loading="lazy">

Hence the solutions (U, 0, 0) of the equation (*) with <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |U|>{\frac {1}{2}}}">

</mrow>

</mrow>

<mfrac>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |U|>{\frac {1}{2}}}</annotation>

</semantics>

</math><img src="./12f9b3c09e45a550608df86f122781cf6e700478.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:8.173ex; height:5.176ex;" alt="{\displaystyle |U|>{\frac {1}{2}}}" loading="lazy">

and likewise, (0, V, 0) with <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |V|>{\frac {1}{2}}}">

</mrow>

</mrow>

<mfrac>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |V|>{\frac {1}{2}}}</annotation>

</semantics>

</math><img src="./0bfe6f9ed81e99fde658e124a280fae7d2584a93.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:8.178ex; height:5.176ex;" alt="{\displaystyle |V|>{\frac {1}{2}}}" loading="lazy">

and (0, 0, W) with <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |W|>{\frac {1}{2}}}">

</mrow>

</mrow>

<mfrac>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle |W|>{\frac {1}{2}}}</annotation>

</semantics>

</math><img src="./171767e24704bf27d854e9e05330a2a51f602486.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:8.826ex; height:5.176ex;" alt="{\displaystyle |W|>{\frac {1}{2}}}" loading="lazy">

(each of which is a noncompact portion of a coordinate axis, in two pieces) do not correspond to any point on the Roman surface.

4. If (U, V, W) is the point (0, 0, 0), then if any two of x, y, z are zero and the third one has <a href="Absolute_value" title="Absolute value">absolute value</a> 1, clearly <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (xy,yz,zx)=(0,0,0)=(U,V,W)\,}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (xy,yz,zx)=(0,0,0)=(U,V,W)\,}</annotation>

</semantics>

</math><img src="./41e79f442c9f1c9c82779f0f5eb491d0cef085b7.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:34.855ex; height:2.843ex;" alt="{\displaystyle (xy,yz,zx)=(0,0,0)=(U,V,W)\,}" loading="lazy"> as desired.

This covers all possible cases.

<div class="mw-heading mw-heading2"><h2 id="Derivation_of_parametric_equations">Derivation of parametric equations</h2></div>

Let a sphere have radius r, longitude φ, and latitude θ. Then its parametric equations are

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x=r\,\cos \theta \,\cos \phi ,}</annotation>

</semantics>

</math><img src="./643eda6ae65098df7d5d8e16bd6aef6b347092e1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:17.144ex; height:2.509ex;" alt="{\displaystyle x=r\,\cos \theta \,\cos \phi ,}" loading="lazy"></dd>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle y=r\,\cos \theta \,\sin \phi ,}</annotation>

</semantics>

</math><img src="./bce0ba7f0ef8640e16877e05596b11785b138678.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:16.715ex; height:2.509ex;" alt="{\displaystyle y=r\,\cos \theta \,\sin \phi ,}" loading="lazy"></dd>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle z=r\,\sin \theta .}</annotation>

</semantics>

</math><img src="./bb158f8740460777fcab0a14ff013362b55e4d3b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:10.989ex; height:2.176ex;" alt="{\displaystyle z=r\,\sin \theta .}" loading="lazy"></dd></dl>

Then, applying transformation T to all the points on this sphere yields

<msup>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x'=yz=r^{2}\,\cos \theta \,\sin \theta \,\sin \phi ,}</annotation>

</semantics>

</math><img src="./8e0f158a69e34a588febb3f9feb8972fb5a28c82.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:29.077ex; height:3.009ex;" alt="{\displaystyle x'=yz=r^{2}\,\cos \theta \,\sin \theta \,\sin \phi ,}" loading="lazy"></dd>

<msup>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle y'=zx=r^{2}\,\cos \theta \,\sin \theta \,\cos \phi ,}</annotation>

</semantics>

</math><img src="./331a160c860e2a3d733eb08ad9f8e4874eeeb4bd.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:29.338ex; height:3.009ex;" alt="{\displaystyle y'=zx=r^{2}\,\cos \theta \,\sin \theta \,\cos \phi ,}" loading="lazy"></dd>

<msup>

</msup>

<msup>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle z'=xy=r^{2}\,\cos ^{2}\theta \,\cos \phi \,\sin \phi ,}</annotation>

</semantics>

</math><img src="./d2272e0a46d19769935d492fe9981a7dc613357b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:30.684ex; height:3.009ex;" alt="{\displaystyle z'=xy=r^{2}\,\cos ^{2}\theta \,\cos \phi \,\sin \phi ,}" loading="lazy"></dd></dl>

which are the points on the Roman surface. Let φ range from 0 to 2π, and let θ range from 0 to π/2.

<div class="mw-heading mw-heading2"><h2 id="Relation_to_the_real_projective_plane">Relation to the real projective plane</h2></div>

The sphere, before being transformed, is not <a href="Homeomorphism" title="Homeomorphism">homeomorphic</a> to the real projective plane, RP2. But the sphere centered at the origin has this property, that if point (x,y,z) belongs to the sphere, then so does the antipodal point (-x,-y,-z) and these two points are different: they lie on opposite sides of the center of the sphere.

The transformation T converts both of these antipodal points into the same point,

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle T:(x,y,z)\rightarrow (yz,zx,xy),}</annotation>

</semantics>

</math><img src="./b74bf83945cdd9fc9ee456d8eb91cc7c128b3f80.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:26.309ex; height:2.843ex;" alt="{\displaystyle T:(x,y,z)\rightarrow (yz,zx,xy),}" loading="lazy"></dd>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle T:(-x,-y,-z)\rightarrow ((-y)(-z),(-z)(-x),(-x)(-y))=(yz,zx,xy).}</annotation>

</semantics>

</math><img src="./72189c353f8c92f4a07f91eae15b0dc03a34fcc2.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:67.56ex; height:2.843ex;" alt="{\displaystyle T:(-x,-y,-z)\rightarrow ((-y)(-z),(-z)(-x),(-x)(-y))=(yz,zx,xy).}" loading="lazy"></dd></dl>

Since this is true of all points of S2, then it is clear that the Roman surface is a continuous image of a "sphere modulo antipodes". Because some distinct pairs of antipodes are all taken to identical points in the Roman surface, it is not homeomorphic to RP2, but is instead a quotient of the real projective plane RP2 = S2 / (x~-x). Furthermore, the map T (above) from S2 to this quotient has the special property that it is locally injective away from six pairs of antipodal points. Or from RP2 the resulting map making this an immersion of RP2 — minus six points — into 3-space.

<div class="mw-heading mw-heading2"><h2 id="Structure_of_the_Roman_surface">Structure of the Roman surface</h2></div>

The Roman surface has four bulbous "lobes", each one on a different corner of a tetrahedron.

A Roman surface can be constructed by splicing together three <a href="Paraboloid" title="Paraboloid">hyperbolic paraboloids</a> and then smoothing out the edges as necessary so that it will fit a desired shape (e.g. parametrization).

Let there be these three hyperbolic paraboloids:

These three hyperbolic paraboloids intersect externally along the six edges of a tetrahedron and internally along the three axes. The internal intersections are loci of double points. The three loci of double points: x = 0, y = 0, and z = 0, intersect at a triple point at the <a href="Origin_(mathematics)" title="Origin (mathematics)">origin</a>.

For example, given x = yz and y = zx, the second paraboloid is equivalent to x = y/z. Then

<mfrac>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle yz={y \over z}}</annotation>

</semantics>

</math><img src="./21e7ab102e55a62deebe3585a447bda20da06357.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:7.334ex; height:4.843ex;" alt="{\displaystyle yz={y \over z}}" loading="lazy"></dd></dl>

and either y = 0 or z2 = 1 so that z = ±1. Their two external intersections are

Likewise, the other external intersections are

Let us see the pieces being put together. Join the paraboloids y = xz and x = yz. The result is shown in Figure 1.

The paraboloid y = x z is shown in blue and orange. The paraboloid x = y z is shown in cyan and purple. In the image the paraboloids are seen to intersect along the z = 0 axis. If the paraboloids are extended, they should also be seen to intersect along the lines

The two paraboloids together look like a pair of <a href="Orchid" title="Orchid">orchids</a> joined back-to-back.

Now run the third hyperbolic paraboloid, z = xy, through them. The result is shown in Figure 2.

On the west-southwest and east-northeast directions in Figure 2 there are a pair of openings. These openings are lobes and need to be closed up. When the openings are closed up, the result is the Roman surface shown in Figure 3.

A pair of lobes can be seen in the West and East directions of Figure 3. Another pair of lobes are hidden underneath the third (z = xy) paraboloid and lie in the North and South directions.

If the three intersecting hyperbolic paraboloids are drawn far enough that they intersect along the edges of a tetrahedron, then the result is as shown in Figure 4.

One of the lobes is seen frontally—head on—in Figure 4. The lobe can be seen to be one of the four corners of the tetrahedron.

If the continuous surface in Figure 4 has its sharp edges rounded out—smoothed out—then the result is the Roman surface in Figure 5.

One of the lobes of the Roman surface is seen frontally in Figure 5, and its <a href="Light_bulb" class="mw-redirect" title="Light bulb">bulbous</a> – balloon-like—shape is evident.

If the surface in Figure 5 is turned around 180 degrees and then turned upside down, the result is as shown in Figure 6.

Figure 6 shows three lobes seen sideways. Between each pair of lobes there is a locus of double points corresponding to a coordinate axis. The three loci intersect at a triple point at the origin. The fourth lobe is hidden and points in the direction directly opposite from the viewer. The Roman surface shown at the top of this article also has three lobes in sideways view.

<div class="mw-heading mw-heading2"><h2 id="One-sidedness">One-sidedness</h2></div>

The Roman surface is non-<a href="Orientable" class="mw-redirect" title="Orientable">orientable</a>, i.e. one-sided. This is not quite obvious. To see this, look again at Figure 3.

Imagine an <a href="Ant" title="Ant">ant</a> on top of the "third" <a href="Hyperbolic_paraboloid" class="mw-redirect" title="Hyperbolic paraboloid">hyperbolic paraboloid</a>, z = x y. Let this ant move North. As it moves, it will pass through the other two paraboloids, like a ghost passing through a wall. These other paraboloids only seem like obstacles due to the self-intersecting nature of the immersion. Let the ant ignore all double and triple points and pass right through them. So the ant moves to the North and falls off the edge of the world, so to speak. It now finds itself on the northern lobe, hidden underneath the third paraboloid of Figure 3. The ant is standing upside-down, on the "outside" of the Roman surface.

Let the ant move towards the Southwest. It will climb a slope (upside-down) until it finds itself "inside" the Western lobe. Now let the ant move in a Southeastern direction along the inside of the Western lobe towards the z = 0 axis, always above the x-y plane. As soon as it passes through the z = 0 axis the ant will be on the "outside" of the Eastern lobe, standing rightside-up.

Then let it move Northwards, over "the hill", then towards the Northwest so that it starts sliding down towards the x = 0 axis. As soon as the ant crosses this axis it will find itself "inside" the Northern lobe, standing right side up. Now let the ant walk towards the North. It will climb up the wall, then along the "roof" of the Northern lobe. The ant is back on the third hyperbolic paraboloid, but this time under it and standing upside-down. (Compare with <a href="Klein_bottle" title="Klein bottle">Klein bottle</a>.)

<div class="mw-heading mw-heading2"><h2 id="Double,_triple,_and_pinching_points">Double, triple, and pinching points</h2></div>

The Roman surface has four "lobes". The boundaries of each lobe are a set of three lines of double points. Between each pair of lobes there is a line of double points. The surface has a total of three lines of double points, which lie (in the parametrization given earlier) on the coordinate axes. The three lines of double points intersect at a triple point which lies on the origin. The triple point cuts the lines of double points into a pair of half-lines, and each half-line lies between a pair of lobes. One might expect from the preceding statements that there could be up to eight lobes, one in each octant of space which has been divided by the coordinate planes. But the lobes occupy alternating octants: four octants are empty and four are occupied by lobes.

If the Roman surface were to be inscribed inside the tetrahedron with least possible volume, one would find that each edge of the tetrahedron is tangent to the Roman surface at a point, and that each of these six points happens to be a Whitney <a href="Mathematical_singularity" class="mw-redirect" title="Mathematical singularity">singularity</a>. These singularities, or pinching points, all lie at the edges of the three lines of double points, and they are defined by this property: that there is no plane <a href="Tangent_space" title="Tangent space">tangent</a> to any surface at the singularity.

<ul><li><a href="Boy's_surface" title="Boy's surface">Boy's surface</a> – an <a href="Embedding" title="Embedding">immersion</a> of the projective plane without cross-caps.</li>

<li><a href="Tetrahemihexahedron" title="Tetrahemihexahedron">Tetrahemihexahedron</a> – a <a href="Polyhedron" title="Polyhedron">polyhedron</a> very similar to the Roman surface.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="References">References</h2></div>

/* start https://en.wikipedia.org/ */

.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}

/* end https://en.wikipedia.org/ */

</style><div class="reflist">

/* start https://en.wikipedia.org/ */

.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("./mw/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("./mw/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("./mw/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("./mw/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}

/* end https://en.wikipedia.org/ */

</style><cite id="CITEREFCoffman" class="citation web cs1">Coffman, Adam. <a rel="nofollow" class="external text" href="http://old.nationalcurvebank.org/romansurfaces/romansurfaces.htm">"Steiner Roman Surfaces"</a>. National Curve Bank. Indiana University - Purdue University Fort Wayne.</cite>

</li>

</ol></div></div>

<div class="mw-heading mw-heading3"><h3 id="General_references">General references</h3></div>

<ul><li>A. Coffman, A. Schwartz, and C. Stanton: The Algebra and Geometry of Steiner and other Quadratically Parametrizable Surfaces. In Computer Aided Geometric Design (3) 13 (April 1996), p. 257-286</li>

<li>Bert Jüttler, Ragni Piene: Geometric Modeling and Algebraic Geometry. Springer 2008, <a href="ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <bdi>978-3-540-72184-0</bdi>, p. 30 (<a rel="nofollow" class="external text" href="https://books.google.com/books?id=1wNGq87gWykC&pg=PA30">restricted online copy</a>, p. 30, at <a href="Google_Books" title="Google Books">Google Books</a>)</li></ul>

<div class="mw-heading mw-heading2"><h2 id="External_links">External links</h2></div>

<ul><li>A. Coffman, "<a rel="nofollow" class="external text" href="http://users.pfw.edu/CoffmanA/steinersurface.html">Steiner Surfaces</a>"</li>

<li><cite id="CITEREFWeisstein" class="citation web cs1"><a href="Eric_W._Weisstein" title="Eric W. Weisstein">Weisstein, Eric W.</a> <a rel="nofollow" class="external text" href="https://mathworld.wolfram.com/RomanSurface.html">"Roman Surface"</a>. <a href="MathWorld" title="MathWorld">MathWorld</a>.</cite></li>

<li><a rel="nofollow" class="external text" href="http://old.nationalcurvebank.org/romansurfaces/romansurfaces.htm">Roman Surfaces</a> at the National Curve Bank (website of the California State University)</li>

<li><a rel="nofollow" class="external text" href="http://www.eg-models.de/models/Surfaces/Algebraic_Surfaces/2003.05.001/_applet.html">Ashay Dharwadker, Heptahedron and Roman Surface, Electronic Geometry Models, 2004.</a></li></ul>

/* start https://en.wikipedia.org/ */

.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}

/* end https://en.wikipedia.org/ */

</style><style data-mw-deduplicate="TemplateStyles:r1236075235">

/* start https://en.wikipedia.org/ */

.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}

/* end https://en.wikipedia.org/ */

</style></div><div role="navigation" class="navbox" aria-labelledby="Compact_topological_surfaces_and_their_immersions_in_3D102" style="padding:3px"><table class="nowraplinks mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><style data-mw-deduplicate="TemplateStyles:r1239400231">

/* start https://en.wikipedia.org/ */

.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}html.skin-theme-clientpref-night .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}@media print{.mw-parser-output .navbar{display:none!important}}

/* end https://en.wikipedia.org/ */

</style><div id="Compact_topological_surfaces_and_their_immersions_in_3D102" style="font-size:114%;margin:0 4em">Compact topological surfaces and their immersions in 3D</div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">Without boundary</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:1%">Orientable</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Sphere" title="Sphere">Sphere</a> (genus 0)</li>

<li><a href="Torus" title="Torus">Torus</a> (genus 1)</li>

<li>Number 8 (genus 2)</li>

<li>Pretzel (genus 3) ...</li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Non-orientable</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Real_projective_plane" title="Real projective plane">Real projective plane</a>

<ul><li>genus 1; <a href="Boy's_surface" title="Boy's surface">Boy's surface</a></li>

</ul></li>

<li><a href="Klein_bottle" title="Klein bottle">Klein bottle</a> (genus 2)</li>

<li><a href="Dyck's_surface" class="mw-redirect" title="Dyck's surface">Dyck's surface</a> (genus 3) ...</li></ul>

</div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">With boundary</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li>Semisphere</li></ul></li>

<li>Ribbon

<ul><li><a href="Annulus_(mathematics)" title="Annulus (mathematics)">Annulus</a></li>

<li><a href="Cylinder" title="Cylinder">Cylinder</a></li></ul></li>

<li><a href="M%C3%B6bius_strip" title="Möbius strip">Möbius strip</a>

<ul><li><a href="Cross-cap" class="mw-redirect" title="Cross-cap">Cross-cap</a></li></ul></li>

<li><a href="Pair_of_pants_(mathematics)" title="Pair of pants (mathematics)">Sphere with three holes</a> ...</li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Related notions</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:1%">Properties</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Connected_space" title="Connected space">Connectedness</a></li>

<li><a href="Compact_space" title="Compact space">Compactness</a></li>

<li><a href="Triangulation_(topology)" title="Triangulation (topology)">Triangulatedness</a> or <a href="Differentiable_manifold" title="Differentiable manifold">smoothness</a></li>

<li><a href="Orientability" title="Orientability">Orientability</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Characteristics</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li>Number of <a href="Boundary_(topology)" title="Boundary (topology)">boundary</a> components</li>

<li><a href="Genus_(mathematics)" title="Genus (mathematics)">Genus</a></li>

<li><a href="Euler_characteristic" title="Euler characteristic">Euler characteristic</a></li></ul>

</div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Operations</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em">

<ul><li><a href="Connected_sum" title="Connected sum">Connected sum</a></li>

<li>Making a hole</li>

<li>Gluing a <a href="Handle_decomposition" title="Handle decomposition">handle</a></li>

<li>Gluing a <a href="Cross-cap" class="mw-redirect" title="Cross-cap">cross-cap</a></li>

<li><a href="Immersion_(mathematics)" title="Immersion (mathematics)">Immersion</a></li></ul>

</div></td></tr></tbody></table><div></div></td></tr></tbody></table></div></div><div><div class="zim-footer">

This article is issued from <a class="external text" title="Last edited on 2025-03-05" href="https://en.wikipedia.org/wiki/?title=Roman_surface&oldid=1278876679">Wikipedia</a>. The text is available under <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en">Creative Commons Attribution-Share Alike 4.0</a> unless otherwise noted. Additional terms may apply for the media files.

</div>

</div></div>

</div>

</main>

</div>

</body></html>